Besoin d'aide ? Consultez notre mode d'emploi
Nuage de mots-clés associés à : Système formel
Logique contemporaine et formalisation
Roger MARTINÉditeur : Presses Universitaires de France - 1964
Logique mathématique
Stephen Cole KLEENEÉditeur : Armand Colin - 1971
Cours sur les fondements des mathématiques : Cambridge, 1939
Ludwig WITTGENSTEINSous la direction de Cora DIAMONDÉditeur : Trans-Europ-Repress - 1995
Towards Mathematical Philosophy : Papers from the Studia Logica conference Trends in Logic IV
Sous la direction de David MAKINSON, Jacek MALINOWSKI, Heinrich WANSINGÉditeur : Springer Science+Business Media B.V. - 2009
Philosophie de la mécanique quantique
Jean BRICMONT, Hervé P. ZWIRNSous la direction de Thierry MARTINÉditeur : Vuibert - 2009
L’œuvre logique de Kurt Gödel (1929-1936)
Jacques DUBUCSSous la direction de Jacques BOUVERESSEDans L’Âge de la science. Lectures philosophiques - 1991
En quoi les jugements de probabilités sont-ils objectifs ?
Jacques DUBUCSSous la direction de Pierre JACOBDans L’Âge de la science. Lectures philosophiques - 1989
Épistémologie mathématique
Henri LOMBARDIÉditeur : Ellipses - 2011
Le formalisme en action : Aspects mathématiques et philosophiques
Sous la direction de Jocelyn BENOIST, Thierry PAULÉditeur : Hermann - 2013
Mécanique quantique : Du formalisme mathématique au concept philosophique
Sébastien POINATÉditeur : Hermann - 2014
Jean-François PABIONÉditeur : Hermann - 1976
Gödel
Pierre CASSOU-NOGUÈSÉditeur : Les Belles Lettres - 2008